Search Results
Topoi 2: The Subobject Classifier diagram
CTOf23, Luca Mesiti: Grothendieck 2-topoi are elementary 2-topoi
Subobject Classifier
The Subobject Classifier in Categories of Presheaves
2024-06-04 - NITheCS & SU Category Theory Research Seminar: ‘Aspects of 2-dimensional ...
Subobjects
Lecture 10: Sheaves form a topos (Part 1)
Examples of the Subobject Classifier in Categories of Presheaves
Topoi 3: The definition of a topos
Seven Sketches in Compositionality 7.2
Topoi 1: Predicates vs. subsets
Steve Awodey: "Model Structures from Models of HoTT"
